On the Concept of Generic Object: A Nonmonotonic Reasoning Approach and Examples
نویسندگان
چکیده
In this paper we discuss the logical and commonsense intuitions behind the concept of generic object and the possibility of characterizing this concept by means of both classical rst{order logic and circumscription. We also show that circumscription can be used in the characterization of the concept of generic point of a curve, as it appears in algebraic geometry. Finally, we show that several occurrences of the concept of generic object in computer science and mathematics can be shaped according to the same pattern of deenition.
منابع مشابه
Extending the Qualitative Trajectory Calculus Based on the Concept of Accessibility of Moving Objects in the Paths
Qualitative spatial representation and reasoning are among the important capabilities in intelligent geospatial information system development. Although a large contribution to the study of moving objects has been attributed to the quantitative use and analysis of data, such calculations are ineffective when there is little inaccurate data on position and geometry or when explicitly explaining ...
متن کاملA Compositional Reasoning System for Executing Nonmonotonic Theories of Reasoning
An agent that is reasoning about the world often needs to draw (defeasible) conclusions that are not logically entailed by its (incomplete) knowledge about the world. Nonmonotonic reasoning systems can be used to model these reasoning patterns. Implementations of agents that can reason in a defeasible manner need to include an implemented nonmonotonic reasoning system. In different applications...
متن کاملExpanding Examples of Madness According to the Concept and Criterion of Madness Perspective of Jurisprudence, Law and Psychology
Background and aim: Madness is a subject that has long been the subject of legal attention. Today, Industrial societies are confronted with a phenomenon called mental disorders and those with such disease which unfortunately is increasing day by day. Obviously, laws over time for scientific advances need to be reformed. This article explores the legal status and the way in which mental patients...
متن کاملA Conceptual Analysis of Epistemological Pre-assumptions of Floridi’s Theory of Information Ethics
Background and Aim: This paper aims at conceptual analysis of epistemological pre-assumptions of the theory of “Information Ethics” to provide better understanding about this macro-ethics theory and offer a critical standpoint about some of its pre-assumptions. Methods: A documentary method and a conceptual analysis were used. This research method and approach is best suited to explore pre-assu...
متن کاملThe Effects of Mystical Monotheism on the Concept and Approach of Moral Practices
One of the important questions in the field of moral attributes and behavior is what changes the monotheistic view makes in human morality and behavior? Can it change the meaning of actions and deepen them? Can it modify and improve their approach? If so, how and why do such changes occur? This study tries to explain the effects of mystical monotheism in the concept and approach of moral practi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1994